Monica Krippner, Beyond Athens

Monica Capra

Many economic games have multiple equilibria, some of which are better than others for everyone involved. Such coordination games are of special interest to economists since they raise the possibility that a group of individuals, or even a whole economy, might become mired in an unfavorable situation. This paper explains how to use playing cards in the classroom to implement an economic game wi...

Monica Marcus 1 Motivation

Formal methods are broadly concerned with applying mathematically rigorous methods in all stages of development of computer-based systems (hardware or software), from specification to design, to implementation and subsequent maintenance. The goal of formal verification is to expose as many errors as possible, while checking whether, or proving that the implementation conforms to the specificati...

Ebola/Athens revisited.

7. Luckhart S, Mullen GR, Wright JC. Etiologic agent of Lyme disease, Borrelia burgdorferi, detected in ticks (Acari: Ixodidae) collected at a focus in Alabama. J Med Entomol 1991;28:652-7. 8. Pung OJ, Banks CW, Jones DN, Krissinger MW. Trypanosoma cruzi in wild raccoons, opossums, and triatomine bugs in southeast Georgia, USA. J Parasitol 1995;81:324-6. 9. Lavender DR, Oliver JH Jr. Ticks (Aca...

Evagelismos General Hospital of Athens

Despite great technical advances over the last decades, cardiac pacing is still associated with a significant rate of complications mostly ascribed to the pacing leads. Leads are susceptible to mechanical stress, whether transvenous or epicardial, and constitute the pacing component most prone to failure; they are the major contributor to complications, may cause vascular obstruction, and other...

Anaphora from Athens to Amsterdam